翻訳と辞書 Words near each other ・ Extensible Provisioning Protocol ・ Extensible resource identifier ・ EXtensible Server Pages ・ Extensible Storage Engine ・ EXtensible Tag Framework ・ EXtensible Text Framework ・ Extensible Threat Management (XTM) ・ Extensible User Interface Protocol ・ Extensin ・ Extension ・ Extension (Clare Fischer album) ・ Extension (George Braith album) ・ Extension (Mac OS) ・ Extension (metaphysics) ・ Extension (music) ・ Extension (predicate logic) ・ Extension (semantics) ・ Extension (telephone) ・ Extension 720 ・ Extension agency ・ Extension and contraction of ideals ・ Extension bell ・ Extension by definitions ・ Extension conflict ・ Extension cord ・ Extension Ensemble ・ Extension Formation ・ Extension Gunners ・ Extension Language Kit ・ Extension mechanisms for DNS Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Extension (predicate logic) ： ウィキペディア英語版 Extension (predicate logic) The extension of a predicatea truth-valued functionis the set of tuples of values that, used as arguments, satisfy the predicate. Such a set of tuples is a relation. For example the statement "''d2'' is the weekday following ''d1''" can be seen as a truth function associating to each tuple (''d2'', ''d1'') the value ''true'' or ''false''. The extension of this truth function is, by convention, the set of all such tuples associated with the value ''true'', i.e. By examining this extension we can conclude that "Tuesday is the weekday following Saturday" (for example) is false. Using set-builder notation, the extension of the ''n''-ary predicate $\backslash Phi$ can be written as :$\backslash \backslash ,.$ ==Relationship with characteristic function== If the values 0 and 1 in the range of a characteristic function are identified with the values false and true, respectivelymaking the characteristic function a predicate, then for all relations ''R'' and predicates $\backslash Phi$ the following two statements are equivalent: *$\backslash Phi$ is the characteristic function of ''R''; *''R'' is the extension of $\backslash Phi$. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Extension (predicate logic)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.